Correct Execution of Reconfiguration for Stateful Components

نویسندگان

  • Moritz Hammer
  • Alexander Knapp
چکیده

In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but also behavioural aspects have to be taken into account in reconfiguration. We present a procedure to conduct reconfiguration in systems of concurrent, stateful components that interferes as little as possible with unchanged subsystems. Reconfiguration is described by a plan for adding, deleting and reconnecting components. A plan is executed by a sequence of simple, local steps, which are suitable for implementation in a programming language. We prove that plan execution is indistinguishable from atomic reconfiguration and use this fact for state-space reduction for verifying properties by model checking.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware

Message-passing concurrency (MPC) is increasingly being used to build systems software that scales well on multi-core hardware. Functional programming implementations of MPC, such as Erlang, have also leveraged their stateless nature to build middleware that is not just scalable, but also dynamically reconfigurable. However, many middleware platforms lend themselves more naturally to a stateful...

متن کامل

How to touch a running system: reconfiguration of stateful components

The increasing importance of distributed and decentralized software architectures entails more and more attention for adaptive software. Obtaining adaptiveness, however, is a difficult task as the software design needs to foresee and cope with a variety of situations. Using reconfiguration of components facilitates this task, as the adaptivity is conducted on an architecture level instead of di...

متن کامل

Role of Electric Vehicles Parking Lots and Storage Systems on the Penetration Rate of Distributed Generation and Network Reconfiguration

Introduction of new technologies such as energy storage systems, electric vehicles, and distributed generation improved the characteristics of networks. On other hand, using these components in distribution systems improves system performances such as power losses. One of effective methods for improving system characteristics is distribution network reconfiguration. In this study, in addition t...

متن کامل

Reusable Web Services

Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answered if dynamic configuration of business solutions from web services is to be achieved. The fact that the components are web services doesn’t mean that all the problems of reuse have been solved. An architecture for dealing with ...

متن کامل

Influence Control for Dynamic Reconfiguration of Data Flow Systems

Influence control is a very challenging issue in dynamic reconfiguration and still not well addressed in the literature. This paper argues that dynamic reconfiguration influences system execution in four ways: functional update, functional side-effect, logical influence on performance and physical influence on performance. Methods including version control, transaction tracing, switching reconf...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 260  شماره 

صفحات  -

تاریخ انتشار 2010